Phase Space Invertible Asynchronous Cellular Automata
نویسندگان
چکیده
While for synchronous deterministic cellular automata there is an accepted definition of reversibility, the situation is less clear for asynchronous cellular automata. We first discuss a few possibilities and then investigate what we call phase space invertible asynchronous cellular automata in more detail. We will show that for each Turing machine there is such a cellular automaton simulating it, and that it is decidable whether an asynchronous cellular automaton has this property or not, even in higher dimensions.
منابع مشابه
Cellular Automata and Models of Computation
Preface This issue contains seven papers presented during the " Third Symposium on Cellular Automata– Journées Automates Cellulaires " (JAC 2012), held in La Marana, Corsica (France) in the period Septem-ber 19th–21th, 2012. The scope of the symposium is centered on Cellular Automata (CA), tilings and related models of computation. Topics of interest include (but are not limited to) algorithmic...
متن کاملNonsynchronous updating in the multiverse of cellular automata.
In this paper we study updating effects on cellular automata rule space. We consider a subset of 6144 order-3 automata from the space of 262144 bidimensional outer-totalistic rules. We compare synchronous to asynchronous and sequential updatings. Focusing on two automata, we discuss how update changes destroy typical structures of these rules. Besides, we show that the first-order phase transit...
متن کاملHow to Simulate Turing Machines by Invertible One-Dimensional Cellular Automata
The issue of testing invertibility of cellular automata has been often discussed. Constructing invertible automata is very useful for simulating invertible dynamical systems, based on local rules. The computation universality of cellular automata has long been positively resolved, and by showing that any cellular automaton could be simulated by an invertible one having a superior dimension, Tof...
متن کاملNovel Phase-frequency Detector based on Quantum-dot Cellular Automata Nanotechnology
The electronic industry has grown vastly in recent years, and researchers are trying to minimize circuits delay, occupied area and power consumption as much as possible. In this regard, many technologies have been introduced. Quantum Cellular Automata (QCA) is one of the schemes to design nano-scale digital electronic circuits. This technology has high speed and low power consumption, and occup...
متن کاملUnconventional Invertible Behaviors in Reversible One-Dimensional Cellular Automata
Reversible cellular automata are discrete invertible dynamical systems determined by local interactions among their components. For the one-dimensional case, there are classical references providing a complete characterization based on combinatorial properties. Using these results and the simulation of every automaton by another with neighborhood size 2, this paper describes other types of inve...
متن کامل